Thinking Tools for the Future of Computing Science
نویسنده
چکیده
This paper argues that “formal methods” can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific discipline has advanced only with systematic and formally based notations. To see just how ubiquitous the need for notation is, one can look beyond the sciences and observe the importance of written notation in the development of music. Map making is another area where the importance of notation and the understanding of the need for (levels of) abstraction is recognised. Formal methods provide notations to navigate the future of computing science. Please cite the original publication: Thinking tools for the future of computing science, Cliff B Jones, pp112–130, In Informatics – 10 Years Back, 10 Years forward, (ed.) Reinhard Wilhelm, Springer-Verlag Lecture Notes in Computer Science 2000, 2000
منابع مشابه
The Effect of Problem-Based Learning Clinical Education on Nursing Student's Critical Thinking
Background: Problem-based clinical education is an effective strategy for enhancing creativity, group work, leadership and problem-solving skills in nursing students. It seems PBL can improve nursing students’ critical thinking skills. The aim of this study was to investigate the effects of problem-based clinical education on nursing students’ critical thinking. Methods: This randomized control...
متن کاملExploration of Relationship Between Usage of Information and Communication Technology (ICT) Tools and Critical Thinking Desposition Among Distance Education Students
One of the main objectives of the ICT-based education is training of critical thinking skills. Critical thinking is essential for a thouthful way of living and compatability to rapid social changes. The purpose of this study was to explore the relationship betweeen usage of ICT tools and critical thinking desposition among distance education students. The research was done through descriptive (...
متن کاملExamination of Thinking Styles of Trainers from Different Branches
Thinking styles are a matter of choice in individuals’ use of their abilities. In other words, they are processes that determine individuals’ attitude towards the problems they encounter and their way of self-expression in the face of these problems. It is considered each athlete and trainer has unique ways in achieving their goals and succeeding. Starting from this, in our study we...
متن کاملComparison of Episodic Future Thinking and Working Memory in Adolescents With Internalizing Problems and Non-clinical Adolescents
Objective: The present study aimed to compare the adolescents with internalizing problems and non-clinical adolescents with respect to their episodic future thinking (EFT) and working memory (WM). Furthermore, this study examined the role of WM in the prediction of EFT. Methods: This cross-sectional study encompassed a population of female students studying in third grade in Azarshahr Girl&rsq...
متن کاملA new attitude coupled with the basic thinking to ordering for ranking fuzzy numbers
Ranking fuzzy numbers is generalization of the concepts of order, and class, and so have fundamental applications. Moreover, deriving the final efficiency and powerful ranking are helpful to decision makers when solving fuzzy problems. Selecting a good ranking method can apply to choosing a desired criterion in a fuzzy environment. There are numerous methods proposed for the ranking of fuzzy n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001